Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·17h
⛪Church Encoding
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
💧Liquidhaskell
Let's Write a Macro in Rust
hackeryarn.com·5h·
Discuss: Hacker News
🦀Rust Macros
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Carrying Code
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
Item Patterns and Struct Await
noratrieb.dev·16h·
Discuss: Hacker News
🦀Rust Macros
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·11h
💎Information Crystallography
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·21h
🌊Streaming Systems
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·2h·
Discuss: Hacker News
⚡Performance Mythology